MINLP Solver Software
نویسندگان
چکیده
In this article we will give a brief overview of the start-of-the-art on software for the solution of mixed integer nonlinear programs (MINLP). We establish several groupings with respect to various features and give concise individual descriptions for each solver.
منابع مشابه
Branching and bounds tighteningtechniques for non-convex MINLP
Many industrial problems can be naturally formulated using Mixed Integer Nonlinear Programming (MINLP) models and can be solved by spatial Branch&Bound (sBB) techniques. We study the impact of two important parts of sBB methods: bounds tightening and branching strategies. We extend a branching technique originally developed for MILP, reliability branching, to the MINLP case. Motivated by the de...
متن کاملIntegrating SQP and Branch-and-Bound for Mixed Integer Nonlinear Programming
This paper considers the solution of Mixed Integer Nonlinear Programming (MINLP) problems. Classical methods for the solution of MINLP problems decompose the problem by separating the nonlinear part from the integer part. This approach is largely due to the existence of packaged software for solving Nonlinear Programming (NLP) and Mixed Integer Linear Programming problems. In contrast, an integ...
متن کاملResource Scheduling in a Smart Grid with Renewable Energy Resources and Plug-In Vehicles by MINLP Method
This paper presents a formulation of unit commitment for thermal units integrated with wind and solar energy systems and electrical vehicles with emphasizing on Mixed Integer Nonlinear Programming (MINLP). The renewable energy resources are included in this model due to their low electricity cost and positive effect on environment. As well as, coordinated charging strategy of electrical vehicle...
متن کاملManyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving
Optimization of Mixed-Integer Non-Linear Programming (MINLP) supports important decisions in applications such as Chemical Process Engineering. But current solvers have limited ability for deductive reasoning or the use of domain-specific theories, and the management of integrality constraints does not yet exploit automated reasoning tools such as SMT solvers. This seems to limit both scalabili...
متن کاملPrimal MINLP Heuristics in a Nutshell
Primal heuristics are an important component of state-of-the-art codes for mixed integer nonlinear programming (MINLP). In this article we give a compact overview of primal heuristics for MINLP that have been suggested in the literature of recent years. We sketch the fundamental concepts of different classes of heuristics and discuss specific implementations. A brief computational experiment sh...
متن کامل